" Benedikt Lowe" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, ... Computer Science and General Issues)

Klaus Ambos-Spies, Benedikt Lowe, Wolfgang Merkle

Категория: Компьютеры

6.42 Mb

#2

Logic and the Foundations of Game and Decision Theory - LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised ... Lecture Notes in Artificial Intelligence)

Giacomo Bonanno, Benedikt Lowe, Wiebe van der Hoek

Категория: Математика, Математическая логика

2.15 Mb

#3

New Computational Paradigms: Changing Conceptions of What is Computable

S.B. Cooper, Benedikt Lowe, Andrea Sorbi

Категория: Математика, Вычислительная математика

2.59 Mb

#4

Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture ... Lecture Notes in Artificial Intelligence)

Margaret Archibald, Vasco Brattka, Valentin F. Goranko, Benedikt Lowe

Категория: Математика, Вычислительная математика

2.00 Mb

#5

Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I (Lecture Notes in Logic, Volume 31)

Alexander S. Kechris, Benedikt Lowe, John R. Steel

Категория: Математика, Математическая логика

3.77 Mb

#6

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (AUP - Texts in Logic and Games)

Johan van Benthem, Benedikt Lowe, Dov M. Gabbay

3.10 Mb